 |
0 索取号:TP311.13-532/E20021/7 作者:SSTD 2001 (2001 : Redondo Beach、 Calif.)、Jensen、 Christian S.、 1963-、 出版社:Berlin ; New York : Springer, c2001.
|  |
0 索取号:H319.4/E80184 作者:Hunt、 Roderick.、Hill、 L. A.、 出版社:Sunbury-on-Thames : Thomas Nelson Ltd., 1976.
|
 |
0 索取号:H319.4/E90190 作者:Hill、 L. A. (Leslie Alexander)、 出版社:Tokyo : Oxford University Press, 1980.
|  |
0 索取号:H319.4/E90191 作者:Hill、 L. A. (Leslie Alexander)、 出版社:Tokyo : Oxford University Press, 1980.
|
 |
0 索取号:H319.4/E70106/1-2 作者:Hill、 L. A. (Leslie Alexander)、 出版社:London : Oxford University Press, 1965.
|  |
0 索取号:H319.4/E70107/1-2 作者:Hill、 L. A. (Leslie Alexander)、 出版社:London : Oxford University Press, c1965.
|
 |
0 索取号:H319.4/E70108/1-2 作者:Hill、 L. A. (Leslie Alexander)、 出版社:London : Oxford University Press, 1965.
|  |
0 索取号:H319.4/E9056 作者:Hall、 Eugene J.、 出版社:Chicage : Science Research Assn, 1981.
|
 |
0 索取号:TP311.52-532/E20021/2001 作者:Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、 出版社:Berlin ; New York : Springer, c2001.
|  |
0 索取号:H319.4/E80122 作者:Bigby、 John.、Hill、 Russell.、 出版社:Boston : Houghton Mifflin, 1972.
|
 |
0 索取号:O43/E902 作者:Sergio Porto Memorial Symposium (1980 : Rio de Janeiro、 Brazil)、Guimaraes、 W. O. N. (Wladimir O. N.)、Lin、 C.-T. (Chhui-Tsu)、Mooradian、 Aram、 1937-、 出版社:Berlin ; New York : Springer-Verlag, c1981.
|  |
0 索取号:H319/E705 作者:L. A. Hill.、D. J. May.、 出版社:Tokyo : Oxford Univ.press, 1962.
|
 |
0 索取号:H314-44/E703 作者:Hill、 L. A.、 出版社:London : Oxford Univ.Press, 1969.
|  |
0 索取号:H314/E9059 作者:Pratt、 Lorraine Nichols.、 出版社:Lincolnwood : National Textbook Co., 1985.
|
 |
0 索取号:H314/E7020 作者:Hill、 L. A. (Leslie Alexander)、 出版社:London : Oxford U. P., 1968.
|  |
0 索取号:TP311.5/E20021 作者: 出版社:Berlin ; New York : Springer, c2001.
|